Ueber eine lineare Differentialgleichung zweiter Ordnung mit einem willk�rlichen Parameter

Eine strikt dissipative Zustandsraumdarstellung von Systemen zweiter Ordnung

This article introduces a novel way of transforming linear second order systems to first order state space models in strictly dissipative realization. This property extends the potential for the analysis of large-scale systems in many ways: it allows for the application of efficient methods for the solution of Lyapunov equations and the guaranteed preservation of asymptotic stability during mod...

Nichtlineare Integro-Differentialgleichungen zweiter Ordnung

Visuelle Datenflusssprache mit Kombinatoren höherer Ordnung

Modern software engineering deals with professional development of high quality software systems. Software quality and especially relative correctness of programs based on a specification can be determined by formal methods. At best a formal verification can be performed a posteriori on the basis of a complete program. This thesis investigates a constructive approach which generates programs co...

Eine Sprachverstehenskomponente in einem Konstruktionsszenario

Approximation verteilt-parametrischer Systeme zweiter Ordnung mittels Krylov-Unterraummethoden / Approximation of Distributed-Parameter Second Order Systems Using Krylov Subspace Methods

Zusammenfassung Dieser Beitrag behandelt die Approximation linearer verteilt-parametrischer Systeme zweiter Ordnung mittels eines Galerkin-Ansatzes. Das resultierende endlich-dimensionale Approximationsmodell besitzt ebenfalls die Struktur zweiter Ordnung und ist wie das Originalsystem asymptotisch stabil und passiv. Es wird gezeigt, wie die Freiheitsgrade der Galerkin-Approximation zu wählen s...